Representing and Reasoning About the Rules of General Games With Imperfect Information
نویسندگان
چکیده
منابع مشابه
Representing and Reasoning About the Rules of General Games With Imperfect Information
A general game player is a system that can play previously unknown games just by being given their rules. For this purpose, the Game Description Language (GDL) has been developed as a high-level knowledge representation formalism to communicate game rules to players. In this paper, we address a fundamental limitation of state-of-the-art methods and systems for General Game Playing, namely, thei...
متن کاملEpistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epis...
متن کاملReasoning about Imperfect Information Games in the Epistemic Situation Calculus
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incompleteness in knowledge by information sets. Such specifications depend on a modeler’s intuition, are tedious to draft and vague on where the knowledge comes from. Also, formalisms proposed so far are essentially proposi...
متن کاملGames with Imperfect Information
An information set in a game tree is a set of nodes from which the rules of the game require that the same alternative (i.e., move) be selected. Thus the nodes an information set are indistinguishable to the player moving from that set, thereby reflecting imperfect information, that is, information hidden from that player. Information sets arise naturally in (for example) card gaines like poker...
متن کاملRepresenting and Reasoning with Large Games
In the last decade, there has been much research at the interface of computer science and game theory. One important class of problems at this interface is the computation of solution concepts (such as Nash equilibrium or correlated equilibrium) of a finite game. In order to take advantage of the highly-structured utility functions in games of practical interest, it is important to design compa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2014
ISSN: 1076-9757
DOI: 10.1613/jair.4115